Nuprl Definition : w-E
11,40
postcript
pdf
E == {
p
:
:Id
|
(
isnull(a(
p
.1;
p
.2)))}
latex
clarification:
w-E(
w
) == {
p
:
:Id
|
(
w-isnull(
w
; w-a(
w
; (
p
.1); (
p
.2))))}
latex
Definitions
E
,
Id
,
,
A
,
b
,
isnull(
a
)
,
a(
i
;
t
)
,
t
.1
,
t
.2
FDL editor aliases
w-E
origin
| 
(
isnull(a(p.1;p.2)))}
| (w-isnull(w; w-a(w; (p.1); (p.2))))} | (isnull(a(p.1;p.2)))}
| (w-isnull(w; w-a(w; (p.1); (p.2))))} Ab